graph theory:subgraph